(assert Float16
